$\forall$$i$, $x$:Id, $T$:Type, $v$:($T$ + ($\mathbb{Q}\rightarrow$$T$)), $A$:Realizer. ($\neg$($\uparrow$R{-}occurs($A$;$i$;$x$))) $\Rightarrow$ Rinit($i$;$T$;$x$;$v$) $\parallel$ $A$